An Operational Semantics for the Single Agent Core of AGENT0
نویسندگان
چکیده
منابع مشابه
Domain Semantics for Agent-Oriented Programming
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham’s work on AGENT0 (Shoham 1993), we replace Shoham’s modal logic semantics with a new framework based on category theory. In particular, we use a consistently complete ωalgebraic complete partial order as our semantic structure, and briefly explore the consequences of this choice. Most importantly, we ca...
متن کاملExtending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in particular a BDI-like architecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics formalised for an abstract versions only, n...
متن کاملOn the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory semantics to speech-act based agent comm...
متن کاملTowards Characterising Argumentation Based Dialogue in the Argument Interchange Format
To facilitate development and practical deployment of argumentation systems, a recent shared notation, or Argument Interchange Format (AIF), has been proposed for representation and communication of argumentation knowledge amongst agents. The AIF is described as an abstract model, or “ontology”, characterising the core concepts and their relationships. Concrete reifications or syntaxes instanti...
متن کاملLanguage Constructs for Multi-agent Programming
In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, namely constraints and content/context sets. These two aspects provide sufficient expressive power to allow us to represent, simply an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999